Tero Harju : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (89)
Les plus populaires
Liste
- Liste
- Tableau

1

Post Correspondence Problem for short words

Vesa Halava, Tero Harju, Mika Hirvensalo, Juhani Karhumäki

Journal:

Information Processing Letters

Année:

2008

Langue:

english

Fichier:

PDF, 135 KB

english, 2008

2

Mortality in Matrix Semigroups

Vesa Halava and Tero Harju

Journal:

American Mathematical Monthly

Année:

2001

Langue:

english

Fichier:

PDF, 187 KB

english, 2001

3

ON THE UNDECIDABILITY OF FREENESS OF MATRIX SEMIGROUPS

CASSAIGNE, JULIEN, HARJU, TERO, KARHUMÄKI, JUHANI

Journal:

International Journal of Algebra and Computation

Année:

1999

Langue:

english

Fichier:

PDF, 605 KB

english, 1999

4

Mortality in Matrix Semigroups

Halava, Vesa, Harju, Tero

Journal:

American Mathematical Monthly

Année:

2001

Langue:

english

Fichier:

PDF, 292 KB

english, 2001

5

Splicing semigroups of dominoes and DNA

Karel Culik II, Tero Harju

Journal:

Discrete Applied Mathematics

Année:

1991

Langue:

english

Fichier:

PDF, 891 KB

english, 1991

6

Decidability of the binary infinite Post Correspondence Problem

Vesa Halava, Tero Harju, Juhani Karhumäki

Journal:

Discrete Applied Mathematics

Année:

2003

Langue:

english

Fichier:

PDF, 115 KB

english, 2003

7

Zebra Factorizations in Free Semigroups

Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg

Journal:

Semigroup Forum

Année:

2004

Langue:

english

Fichier:

PDF, 366 KB

english, 2004

8

The Equation xi= yjzkin a Free Semigroup

Tero Harju, Dirk Nowotka

Journal:

Semigroup Forum

Année:

2004

Langue:

english

Fichier:

PDF, 315 KB

english, 2004

9

On Markov's Undecidability Theorem for Integer Matrices

Vesa Halava, Tero Harju

Journal:

Semigroup Forum

Année:

2007

Langue:

english

Fichier:

PDF, 298 KB

english, 2007

10

Defect theorems with compatibility relations

Vesa Halava, Tero Harju, Tomi Kärki

Journal:

Semigroup Forum

Année:

2008

Langue:

english

Fichier:

PDF, 542 KB

english, 2008

11

Parallel complexity of signed graphs for gene assembly in ciliates

Tero Harju, Chang Li, Ion Petre

Journal:

Soft Computing - A Fusion of Foundations, Methodologies and Applications

Année:

2008

Langue:

english

Fichier:

PDF, 541 KB

english, 2008

12

On the equation in a free semigroup

Tero Harju, Dirk Nowotka

Journal:

Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 160 KB

english, 2005

13

MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM

BELL, PAUL, HALAVA, VESA, HARJU, TERO, KARHUMÄKI, JUHANI, POTAPOV, IGOR

Journal:

International Journal of Algebra and Computation

Année:

2008

Langue:

english

Fichier:

PDF, 219 KB

english, 2008

14

Word problem for deterministic and reversible semi-Thue systems

Halava, Vesa, Harju, Tero

Journal:

Semigroup Forum

Année:

2014

Langue:

english

Fichier:

PDF, 464 KB

english, 2014

15

On the n-permutation Post Correspondence Problem

Ernvall, Mari, Halava, Vesa, Harju, Tero

Journal:

Theoretical Computer Science

Année:

2015

Langue:

english

Fichier:

PDF, 386 KB

english, 2015

16

Undecidability of infinite post correspondence problem for instances of Size 9

Halava, Vesa, Harju, Tero

Journal:

RAIRO - Theoretical Informatics and Applications

Année:

2006

Langue:

english

Fichier:

PDF, 126 KB

english, 2006

17

Walks on tilings of polygons

Halava, Vesa, Harju, Tero

Journal:

Theoretical Computer Science

Année:

2017

Langue:

english

Fichier:

PDF, 357 KB

english, 2017

18

A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem

Halava, Vesa, Harju, Tero, Sahla, Esa, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto

Journal:

Fundamenta Informaticae

Année:

2017

Langue:

english

Fichier:

PDF, 207 KB

english, 2017

19

Intravenous Hypertonic Saline to Lower Intraocular Pressure in Ocular Hypertension and Primary Open-angle and Exfoliation Glaucoma

Inborr, Pia, Harju, Mika, Kivelä, Tero T.

Journal:

Journal of Glaucoma

Année:

2018

Langue:

english

Fichier:

PDF, 4.07 MB

english, 2018

20

Some Decision Problems Concerning Semilinearity and Commutation

Tero Harju, Oscar Ibarra, Juhani Karhumäki, Arto Salomaa

Journal:

Journal of Computer and System Sciences

Année:

2002

Langue:

english

Fichier:

PDF, 189 KB

english, 2002

21

Periods and Binary Words

Vesa Halava, Tero Harju, Lucian Ilie

Journal:

Journal of Combinatorial Theory, Series A

Année:

2000

Langue:

english

Fichier:

PDF, 102 KB

english, 2000

22

A simulation result for the auxiliary pushdown automata

Journal:

Journal of Computer and System Sciences

Année:

1979

Langue:

english

Fichier:

PDF, 771 KB

english, 1979

23

Dominoes over a free monoid

Karel Culik II, Tero Harju

Journal:

Theoretical Computer Science

Année:

1982

Langue:

english

Fichier:

PDF, 2.06 MB

english, 1982

24

Flatwords and Post Correspondence Problem

Tero Harju, Marjo Lipponen, Alexandru Mateescu

Journal:

Theoretical Computer Science

Année:

1996

Langue:

english

Fichier:

PDF, 886 KB

english, 1996

25

Undecidability in matrices over Laurent polynomials

Vesa Halava, Tero Harju

Journal:

Advances in Applied Mathematics

Année:

2004

Langue:

english

Fichier:

PDF, 91 KB

english, 2004

26

Positivity of second order linear recurrent sequences

Vesa Halava, Tero Harju, Mika Hirvensalo

Journal:

Discrete Applied Mathematics

Année:

2006

Langue:

english

Fichier:

PDF, 155 KB

english, 2006

27

Patterns of simple gene assembly in ciliates

Tero Harju, Ion Petre, Vladimir Rogojin, Grzegorz Rozenberg

Journal:

Discrete Applied Mathematics

Année:

2008

Langue:

english

Fichier:

PDF, 593 KB

english, 2008

28

Graph theoretic approach to parallel gene assembly

Tero Harju, Chang Li, Ion Petre

Journal:

Discrete Applied Mathematics

Année:

2008

Langue:

english

Fichier:

PDF, 725 KB

english, 2008

29

Transitivity of local complementation and switching on graphs

Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg

Journal:

Discrete Mathematics

Année:

2004

Langue:

english

Fichier:

PDF, 394 KB

english, 2004

30

Equality sets of prefix morphisms and regular star languages

Vesa Halava, Tero Harju, Michel Latteux

Journal:

Information Processing Letters

Année:

2005

Langue:

english

Fichier:

PDF, 84 KB

english, 2005

31

Square-free partial words

Vesa Halava, Tero Harju, Tomi Kärki

Journal:

Information Processing Letters

Année:

2008

Langue:

english

Fichier:

PDF, 127 KB

english, 2008

32

Cyclically repetition-free words on small alphabets

Tero Harju, Dirk Nowotka

Journal:

Information Processing Letters

Année:

2010

Langue:

english

Fichier:

PDF, 151 KB

english, 2010

33

Many aspects of defect theorems

Tero Harju, Juhani Karhumäki

Journal:

Theoretical Computer Science

Année:

2004

Langue:

english

Fichier:

PDF, 308 KB

english, 2004

34

A characterization of periodicity of bi-infinite words

Tero Harju, Arto Lepistö, Dirk Nowotka

Journal:

Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 98 KB

english, 2005

35

Counting bordered and primitive words with a fixed weight

Tero Harju, Dirk Nowotka

Journal:

Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 173 KB

english, 2005

36

On unique factorizations of primitive words

Tero Harju, Dirk Nowotka

Journal:

Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 144 KB

english, 2006

37

Extension of the decidability of the marked PCP to instances with unique blocks

Vesa Halava, Tero Harju, Juhani Karhumäki, Michel Latteux

Journal:

Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 231 KB

english, 2007

38

Overlap-freeness in infinite partial words

Vesa Halava, Tero Harju, Tomi Kärki, Patrice Séébold

Journal:

Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 415 KB

english, 2009

39

The size of switching classes with skew gains

Jurriaan Hage, Tero Harju

Journal:

Discrete Mathematics

Année:

2000

Langue:

english

Fichier:

PDF, 114 KB

english, 2000

40

Pancyclicity in switching classes

Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg

Journal:

Information Processing Letters

Année:

2000

Langue:

english

Fichier:

PDF, 64 KB

english, 2000

41

On a geometric problem of zigzags

Vesa Halava, Tero Harju, Lucian Ilie

Journal:

Information Processing Letters

Année:

1997

Langue:

english

Fichier:

PDF, 313 KB

english, 1997

42

Binary (generalized) Post Correspondence Problem

Vesa Halava, Tero Harju, Mika Hirvensalo

Journal:

Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 208 KB

english, 2002

43

Formal systems for gene assembly in ciliates

Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott, Grzegorz Rozenberg

Journal:

Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 212 KB

english, 2003

44

On the independence of equations in three variables

Tero Harju, Dirk Nowotka

Journal:

Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 387 KB

english, 2003

45

On quasi orders of words and the confluence property

Tero Harju, Lucian Ilie

Journal:

Theoretical Computer Science

Année:

1998

Langue:

english

Fichier:

PDF, 1.43 MB

english, 1998

46

The Structure of Infinite Solutions of Marked and Binary Post Correspondence Problems

Vesa Halava, Tero Harju, Juhani Karhumäki

Journal:

Theory of Computing Systems

Année:

2007

Langue:

english

Fichier:

PDF, 165 KB

english, 2007

47

Embedding linear orders in grids

Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg

Journal:

Acta Informatica

Année:

2006

Langue:

english

Fichier:

PDF, 214 KB

english, 2006

48

Periods in Extensions of Words

Tero Harju, Dirk Nowotka

Journal:

Acta Informatica

Année:

2006

Langue:

english

Fichier:

PDF, 120 KB

english, 2006

49

Parallelism in Gene Assembly

Tero Harju, Chang Li, Ion Petre, Grzegorz Rozenberg

Journal:

Natural Computing

Année:

2006

Langue:

english

Fichier:

PDF, 401 KB

english, 2006

50

The equations h(w)=wn in binary alphabets

Tero Harju, Matti Linna

Journal:

Theoretical Computer Science

Année:

1984

Langue:

english

Fichier:

PDF, 267 KB

english, 1984